First-order logic - PDFSEARCH.IO - Document Search Engine

First-order logic
Results: 1172

#	Item
21	On Finite Domains in First-Order Linear Temporal Logic Denis Kuperberg, Julien Brunel, David Chemouil To cite this version: Denis Kuperberg, Julien Brunel, David Chemouil. On Finite Domains in First-Order Linear Temporal Add to Reading List Source URL: hal.archives-ouvertes.fr - Date: 2016-07-12 08:42:58
22	From Separation Logic to First-Order Logic Cristiano Calcagno Philippa Gardner Matthew Hague Add to Reading List Source URL: www.lsv.ens-cachan.fr - Date: 2015-06-23 07:39:28
23	Modeling Abduction over Acyclic First-Order Logic Horn Theories in Answer Set Programming: Preliminary Experiments⋆ Peter Schüller Computer Engineering Department, Faculty of Engineering Marmara University, Turkey Add to Reading List Source URL: ceur-ws.org - Date: 2015-09-19 04:14:13
24	The Resolution Calculus for First-Order Logic Anders Schlichtkrull June 30, 2016 Abstract This theory is a formalization of the resolution calculus for firstorder logic. It is proven sound and complete. The soundness pro Add to Reading List Source URL: www.isa-afp.org - Date: 2016-06-30 11:26:49
25	Microsoft Word - BlankPage Add to Reading List Source URL: www.cs.miami.edu Language: English - Date: 2007-08-16 08:58:53 Logic Abstraction Philosophy Automated theorem proving Reasoning Formal methods Predicate logic Datalog First-order logic Axiom Satisfiability modulo theories Mereology
26	The complexity of positive first-order logic without equality II: The four-element case Barnaby Martin1? and Jos Martin2 1 School of Engineering and Computing Sciences, Durham University, Add to Reading List Source URL: www.bedewell.com Language: English - Date: 2010-06-03 07:34:14 Computational complexity theory Complexity classes Theory of computation FO PSPACE IP NP P Reduction Homomorphism SO
27	In pursuit of decidable ‘logical form’ Michael Minock TCS/CSC KTH Royal Institute of Technology, Stockholm, Sweden Abstract Add to Reading List Source URL: www2.lingfil.uu.se Language: English - Date: 2014-10-16 02:36:17 Logic Mathematical logic Theoretical computer science Natural language processing Formal methods Computability theory Artificial intelligence Decidability First-order logic Natural language understanding Natural language user interface Entityrelationship model
28	Type Theory and Constructive Mathematics Type Theory and Constructive Mathematics Thierry Coquand University of Gothenburg Add to Reading List Source URL: events.cs.bham.ac.uk Language: English - Date: 2012-04-26 12:08:31 Mathematical logic Type theory Logic Mathematics Homotopy type theory Univalent foundations First-order logic Natural deduction CurryHoward correspondence
29	Social Group Modeling with Probabilistic Soft Logic Bert Huang, Stephen H. Bach, Eric Norris, Jay Pujara, Lise Getoor Department of Computer Science University of Maryland College Park, MD 20742 Add to Reading List Source URL: stephenbach.net Language: English - Date: 2013-06-10 18:15:10 Computing Logic Philosophy Web 2.0 Twitter Social media Computer jargon Knowledge representation Probabilistic soft logic Hashtag Twitter usage First-order logic
30	Mizar Hands-on Tutorial Adam Naumowicz Artur Kornilowicz Adam Grabowski Add to Reading List Source URL: mizar.auburn.edu Language: English - Date: 2016-07-29 01:16:07 Logic Mathematical logic Abstraction Predicate logic Proof assistants Mizar system Andrzej Trybulec Formal methods First-order logic TarskiGrothendieck set theory Constructible universe Mizar